]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 872c84a) | patch
extensionPrefs: Rename to Extensions
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 24 Jan 2020 16:00:24 +0000 (17:00 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 3 Feb 2020 18:03:19 +0000 (19:03 +0100)
commit8795668c41177a389900c9ef30eb9edbf4472447
tree681c949bc35cc7aa89e02adb8807eb86222243d4tree | snapshot
parent872c84a1c353b4f3b94f0a816aeb1a0595e00f01commit | diff
extensionPrefs: Rename to Extensions

... and make the application user-visible.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
data/gnome-shell-extension-prefs.desktop.in.in [deleted file] blob | history
data/meson.build diff | blob | history
data/org.gnome.Extensions.desktop.in.in [new file with mode: 0644] blob
js/extensionPrefs/main.js diff | blob | history
js/extensionPrefs/ui/extensions-window.ui diff | blob | history
js/ui/shellDBus.js diff | blob | history
po/POTFILES.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.